#include <stdio.h>

/************************************************************************/
/*                                                                      */
/************************************************************************/


/************************************************************************/
/*                                                                      */
/************************************************************************/

int main(int argc, char* argv[])
{
    printf ( "%4$d  %3$d  %2$d  %1$d \n",  1,  2,  3,  4);
    return 0;
}